Один класс критериев простоты, формулируемых в терминах делимости биномиальных коэффициентов Ю.В. Матиясевич (1977) Zapiski naucnych seminarov Leningradskogo
Простые числа перечисляются полиномом от 10 переменных Ю.В. Матиясевич (1977) Zapiski naucnych seminarov Leningradskogo